2^64/(9 GHz)